Prof. Dr. Graeme P. Smith

Aktuelle Kontaktadresse

Land	Australien
Ort	Brisbane
Universität/Institution	University of Queensland (UQ)
Institut/Abteilung	School of Information Technology and Electrical Engineering

Fachgebiet	Theoretische Informatik,Softwaretechnik und Programmiersprachen,Rechnerarchitektur, eingebettete und massiv parallele Systeme
Keywords	formal verification, refinement, Object-Z, object orientation, formal specification